Computer programming

Results: 45296



#Item
91Project Report: Dependently typed programming with lambda encodings in Cedille Ananda Guneratne, Chad Reynolds, and Aaron Stump Computer Science, The University of Iowa, Iowa City, Iowa, USA , c

Project Report: Dependently typed programming with lambda encodings in Cedille Ananda Guneratne, Chad Reynolds, and Aaron Stump Computer Science, The University of Iowa, Iowa City, Iowa, USA , c

Add to Reading List

Source URL: homepage.cs.uiowa.edu

- Date: 2016-08-15 15:47:01
    92Constructive Mathematics and Computer Programming

    Constructive Mathematics and Computer Programming

    Add to Reading List

    Source URL: www.cs.tufts.edu

    - Date: 2011-05-29 20:01:50
      93Eduardo Munoz Type-safe multilanguage programming Computer Science Tripos Part II Magdalene College

      Eduardo Munoz Type-safe multilanguage programming Computer Science Tripos Part II Magdalene College

      Add to Reading List

      Source URL: edua.rdomunoz.com

      - Date: 2016-08-12 03:06:45
        94Proceedings of the 27th Nordic Workshop on Programming Theory (NWPTLuca Aceto, Ignacio Fábregas, Álvaro García-Perez, Anna Ingólfsdóttir RUTR-SCS16001, February 2016 School of Computer Science

        Proceedings of the 27th Nordic Workshop on Programming Theory (NWPTLuca Aceto, Ignacio Fábregas, Álvaro García-Perez, Anna Ingólfsdóttir RUTR-SCS16001, February 2016 School of Computer Science

        Add to Reading List

        Source URL: icetcs.ru.is

        - Date: 2016-02-23 04:10:59
          95Towards a Programming Paradigm for Control Systems with High Levels of Existential Autonomy Eric Nivel1 & Kristinn R. Thórisson1,2 1 Center for Analysis and Design of Intelligent Agents / School of Computer Science, Re

          Towards a Programming Paradigm for Control Systems with High Levels of Existential Autonomy Eric Nivel1 & Kristinn R. Thórisson1,2 1 Center for Analysis and Design of Intelligent Agents / School of Computer Science, Re

          Add to Reading List

          Source URL: alumni.media.mit.edu

          - Date: 2013-06-05 19:15:05
            9630th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ??

            30th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ??

            Add to Reading List

            Source URL: users.uoa.gr

            - Date: 2014-06-11 17:30:28
              97Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey

              Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2015-09-19 04:14:13
                98Science of Computer North-Holland Programming 231

                Science of Computer North-Holland Programming 231

                Add to Reading List

                Source URL: www.inf.ed.ac.uk

                - Date: 2006-09-23 13:59:20
                  99Tight Bounds for Linkages in Planar Graphs. 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, Lecture Notes in Computer Science, Springer Verlag, 2011. Irrelevant Vertices for the Planar D

                  Tight Bounds for Linkages in Planar Graphs. 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, Lecture Notes in Computer Science, Springer Verlag, 2011. Irrelevant Vertices for the Planar D

                  Add to Reading List

                  Source URL: users.uoa.gr

                  - Date: 2014-06-11 17:30:28
                    100Tracking Using Dynamic Programming for Appearance-Based Sign Language Recognition Philippe Dreuw, Thomas Deselaers, David Rybach, Daniel Keysers, and Hermann Ney Lehrstuhl f¨ur Informatik VI – Computer Science Departm

                    Tracking Using Dynamic Programming for Appearance-Based Sign Language Recognition Philippe Dreuw, Thomas Deselaers, David Rybach, Daniel Keysers, and Hermann Ney Lehrstuhl f¨ur Informatik VI – Computer Science Departm

                    Add to Reading List

                    Source URL: thomas.deselaers.de

                    - Date: 2014-10-11 09:29:36